#include <stdio.h>

int main()
{
    int n, max;
    max = 0;
    while (scanf_s("%d", &n), n >= 0)
    {
        if (n > max)
            max = n;
    }
    printf("%d", max);
    return 0;
}